Controller Area Network: a Formal Case Study
نویسندگان
چکیده
In this paper, we present a formal analysis of a Controller Area Network (CAN) controller using the Z speciication language. It is a step in the evaluation of functional and performance properties of CAN applications. We rst show how an external view of a CAN controller functionalities can be held in Z. Z is based on set theory and rst order logic and is very expressive: a unique notation allows the speciication of data structures and operations. An internal view is also given and analyzed. Validation of the CAN controller speciication is done and a property is shown: we demonstrate that this speciication implements the satisfaction of the highest priority message being transmitted rst.
منابع مشابه
Effect of Distributed Power-Flow Controller (DPFC) on Power System Stability
Distributed flexible AC- transmission system (D-FACTS) is a recently advanced FACTS device with high flexibility and smaller size. The DPFC can control power flow in transmission lines, regulate bus voltages and it can also enhance stability margin in power grids. Adaptive-neural network-based fuzzy inference system (ANFIS) combines features of artificial neural network and fuzzy controller. Th...
متن کاملInvestigation of the Role of Collaboration Network Between State and Formal Public Institutions in Implementation of Watershed Management Projects and Soil Erosion Decrease Case Study: Berentin-Hormozgan Province
In spite of successfulness of watershed management project, this science could not be able to combat soil erosion lonely and it needs the participation of habitants of watersheds that their livelihood completely depends on sustainable resources. So, this research through analysis of collaboration network between state and formal public institutions in implementation of mechanical and biological...
متن کاملImproving the Transient Stability of Power Systems Using STATCOM and Controlling it by Honey Bee Mating Optimization Algorithm
In this study, a new method for designing the damping controller was proposed to improve the transient power system stability in a single machine network connected to an infinite bus. The STATCOM controller problem in a wide area of the system function was considered as an optimization problem with multi-purpose objective function. Also, the Honey Bee Mating Optimization Algorithm was used to d...
متن کاملDialogue Validation from Task Analysis
Up today, formal methods have mainly been used to allow designers to verify that software conforms to its specification. In this article, we propose a validation method and a tool to analyse whether the design actually fulfils the original requirements for the system. The principle of our validation method is to generate the complete set of possible user interaction sequences from the task anal...
متن کاملOptimal Thyristor Control Series Capacitor Neuro-Controller for Damping Oscillations
This study applies a neural-network-based optimal TCSC controller for damping oscillations. Optimal neural network controller is related to model-reference adaptive control, the network controller is developed based on the recursive “pseudo-linear regression”. Problem statement: The optimal NN controller is designed to damp out the low frequency local and inter-area oscillations of the large po...
متن کامل